and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
121	AND/OR Cutset Conditioning Robert Mateescu and Rina Dechter School of Information and Computer Science University of California, Irvine, CA 92697 {mateescu, dechter}@ics.uci.edu Add to Reading List Source URL: www.ijcai.org Language: English - Date: 2005-07-11 15:53:56 Search algorithms Mathematics Bayesian statistics Statistical models Hybrid algorithm Combinatorial optimization Feedback vertex set Connectivity A* search algorithm Constraint programming Graph theory Theoretical computer science
122	§1. Algorithmics Lecture I Page 1 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-04-13 15:02:34 Computational complexity theory Operations research Algorithms Models of computation Decision tree model Sorting algorithm Linear programming Divide and conquer algorithm Time complexity Theoretical computer science Applied mathematics Mathematics
123	Learning Predictive State Representations [removed] Satinder Singh Computer Science and Engineering, University of Michigan Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2003-11-08 15:06:01 Stochastic control Markov models Estimation theory Expectation–maximization algorithm Markov decision process Reinforcement learning Machine learning Algorithm Normal distribution Statistics Dynamic programming Markov processes
124	§1. Algorithmics Lecture I Page 1 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2012-09-24 18:59:56 Computational complexity theory Operations research Algorithms Models of computation Decision tree model Sorting algorithm Linear programming Divide and conquer algorithm Pointer machine Theoretical computer science Mathematics Applied mathematics
125	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
126	Reconfigurable Templates for Robust Vehicle Detection and Classification Yang Lv1,3 , Benjamin Yao2,3 , Yongtian Wang1 and Song-Chun Zhu2,3 1 School of Computer Science, BIT 2 Department of Statistics, UCLA Add to Reading List Source URL: www.stat.ucla.edu Language: English - Date: 2012-11-02 15:10:34 Science Object recognition Part-based models Dynamic programming Ising model Machine learning Physics Artificial intelligence Computer vision
127	Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems Alexander Schiendorfer, Jan-Philipp Stegh¨ ofer, Wolfgang Reif Resource Allocation Problems (RAP) Add to Reading List Source URL: www.informatik.uni-augsburg.de Language: English - Date: 2014-03-06 16:52:17 Computer programming Mathematical optimization Convex optimization Linear programming Applied mathematics Constraint Operations research Constraint programming Software engineering
128	Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Add to Reading List Source URL: erights.org Language: English - Date: 2004-05-18 05:27:32 Data types Cryptographic protocols Inter-process communication Models of computation Smalltalk Lambda calculus Variable Alice and Bob Secure multi-party computation Computing Software engineering Computer programming
129	Weak models of data consistency Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed ”Mirage” [3] which compiles complex applicat Add to Reading List Source URL: gazagnaire.org Language: English - Date: 2013-11-18 12:09:12 Functional languages OCaml Caml International Conference on Functional Programming ML Virtual machine Cloud computing Reactive programming International Conference on Architectural Support for Programming Languages and Operating Systems Computing Software engineering Computer programming
130	Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems Alexander Schiendorfer, Jan-Philipp Stegh¨ofer, and Wolfgang Reif Institute of Software & Systems Engineering, Augsburg Univer Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:23:11 Computing Computer programming Operations research Mathematical optimization Constraint satisfaction Economic model Agent-based model Computational complexity theory Abstraction Constraint programming Software engineering Programming paradigms

UPDATE